\begin{tabbing}
preinit1R\=\{\$x:ut2, \$a:ut2\}\+
\\[0ex]($i$; $X$; $p$; $x_{0}$; $P$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\oplus$([Rpre($i$;"\$x" : $X$;"\$a";$p$;$\lambda$$s$.$P$($s$."\$x")); Rinit($i$;$X$;"\$x";inl $x_{0}$ )])
\end{tabbing}